Nuprl Definition : receives
11,40
postcript
pdf
receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
)
== filter((
r
.rcv-from-on(
dE
;
dL
;
info
;
e
;
l
;
r
)); eventlist(
pred?
; sends-bound(
p
;
e
;
l
)))
latex
Definitions
sends-bound(
p
;
e
;
l
)
,
eventlist(
pred?
;
e
)
,
rcv-from-on(
dE
;
dL
;
info
;
e
;
l
;
r
)
,
filter(
P
;
l
)
,
receives(
dE
;
dL
;
pred?
;
info
;
p
;
e
;
l
)
FDL editor aliases
receives
origin